be795271ef14ad067f2d846a8720b5d956dcf898,plugins/it.xsemantics.dsl.tests/expectations/ecore_errspecification_test/it/xsemantics/test/errspecification/ecore/TypeSystem.java,TypeSystem,applyRuleEClassSubtyping,#RuleEnvironment#RuleApplicationTrace#EClass#EClass#,193
Before Change
}
protected Result<Boolean> applyRuleEClassSubtyping(final RuleEnvironment G, final RuleApplicationTrace _trace_, final EClass candidate, final EClass superClass) throws RuleFailedException {
boolean _isSuperTypeOf = superClass.isSuperTypeOf(candidate);
/* superClass.isSuperTypeOf(candidate) */
if (!_isSuperTypeOf) {
sneakyThrowRuleFailedException("superClass.isSuperTypeOf(candidate)");
}
return new Result<Boolean>(true);
After Change
protected Result<Boolean> applyRuleEClassSubtyping(final RuleEnvironment G, final RuleApplicationTrace _trace_, final EClass candidate, final EClass superClass) throws RuleFailedException {
/* superClass.isSuperTypeOf(candidate) */
if (!superClass.isSuperTypeOf(candidate)) {
sneakyThrowRuleFailedException("superClass.isSuperTypeOf(candidate)");
}
return new Result<Boolean>(true);